headerbar: support expand property for children
authorRay Strode <rstrode@redhat.com>
Fri, 24 Jun 2016 11:53:49 +0000 (07:53 -0400)
committerRay Strode <rstrode@redhat.com>
Sat, 25 Jun 2016 00:58:41 +0000 (20:58 -0400)
commit0015ebc4a8f269f6888fcacef3e83e3167241d67
tree8c68d2ed6356c9c43ad363754746ea9e468340c7
parent847a43c4311c1952a5027381521120e3a817ee04
headerbar: support expand property for children

The header bar currently ignores the expand property on its
children. This commit changes the code to honor that property.

It divvies up any free space and distributes it equally to packed
children (with any left over space given out a pixel at a time
on a first come, first serve basis).

This commit also adds support for the title widget to be made
expandable.

It accomplishes this by using up the padding the title widget
is centered with.

https://bugzilla.gnome.org/show_bug.cgi?id=724332
docs/reference/gtk/migrating-3xtoy.xml
gtk/gtkheaderbar.c